:: Int -> CInt -package:basic-prelude package:loc

Convert from an Int.